
months="JanFebMarAprMayJunJulAugSepOctNovDec"
var = input("请输入月份数（1-12）")
pos=(int(var)-1)*3
monthAbbrev=months[pos:pos+3]
print(var+"月简写是"+monthAbbrev+".")
